#probadores de ia

¿Pueden los probadores de IA completar teoremas Lean del mundo real?

Los probadores de inteligencia artificial pueden completar teoremas Lean del mundo real. Descubre cómo en este fascinante artículo.